principal idempotent

主幂等元